Mathematical System Models as a Basis of Software Engineering
نویسنده
چکیده
We give mathematical system models as a basis for system speci cation system development by re nement and system implemen tation It provides a simple homogeneous mathematical and logical foun dation of software and systems engineering We treat mathematical con cepts of re nement through levels of abstraction and complementing sys tem views as they are used in software engineering The goal is to give a coherent and simple mathematical basis
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملMULTICRITERION SYNTHESIS OF INTELLIGENT CONTROL SYSTEMS OF GENERATING UNIT OF NUCLEAR POWER STATION
The paper is devoted to solution of some problems in nuclear power station generating unit intellectual control systems using genetic algorithms on the basis of control system model development, optimizations methods of their direct quality indices and improved integral quadratic estimates. Some mathematical vector models were obtained for control system multicriterion quality indices with due ...
متن کاملMathematical Methods in System and Software Engineering
Today, there is still a remarkable gap between the techniques and methods used in practice in software engineering and the formal techniques worked out and advocated by academics. Our goal is to close that gap and to bring together the pragmatic and mostly informal ideas in systems and software engineering used in practice and the mathematical techniques for the formal specification, refinement...
متن کاملA Multi Objective Optimization Approach for Resources Procurement of Bank
Calculating total cast of bank resources procurement methods which include current -free loan deposit, saving interest-free loan deposit, regular and net short-term investment deposit, long-term investment deposit and surety bond cash deposit and presenting their optimal integration require precise scientific studies. Hence, this study is an attempt to know which methods are the best optimal in...
متن کاملInvestigation of SLIM Dynamic Models Based on Vector Control for Railway Applications
Although, Single-Sided Linear Induction Motor (SLIM) utilization has increased in railway applications due to their numerous advantages in comparison to Rotational Induction Motors (RIM), there are some sophistication in their mathematical models and electrical drive. This paper focuses on the problems of SLIM modeling, with assuming end-effect on the basis of Field Oriented Control (FOC) as a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995